<?php
class devtools_phpinfo_page_model extends model {
}